Functional Testing Approaches for "BIFST-able" tlm_fifo

Evolution of Electronic System Level design methodologies, allows a wider use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems that emphasizes on separating communications among modules from the details of functional units. This paper explores different functional testing approaches for the implementation of Built-in Functional Self Test facilities in the TLM primitive channel tlm_fifo. In particular, it focuses on three different test approaches based on a finite state machine model of tlm_fifo, functional fault models, and march tests respectivel

Plug & Test at System Level via Testable TLM Primitives

With the evolution of Electronic System Level (ESL) design methodologies, we are experiencing an extensive use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems where details of the communication among modules are separated from the those of the implementation of functional units. This paper represents a first step toward the automatic insertion of testing capabilities at the transaction level by definition of testable TLM primitives. The use of testable TLM primitives should help designers to easily get testable transaction level descriptions implementing what we call a "Plug & Test" design methodology. The proposed approach is intended to work both with hardware and software implementations. In particular, in this paper we will focus on the design of a testable FIFO communication channel to show how designers are given the freedom of trading-off complexity, testability levels, and cos

Analysis of System-Failure Rate Caused by Soft-Errors using a UML-Based Systematic Methodology in an SoC

This paper proposes an analytical method to assess the soft-error rate (SER) in the early stages of a System-on-Chip (SoC) platform-based design methodology. The proposed method gets an executable UML (Unified Modeling Language) model of the SoC and the raw soft- error rate of different parts of the platform as its inputs. Soft-errors on the design are modeled by disturbances on the value of attributes in the classes of the UML model and disturbances on opcodes of software cores. The Dynamic behavior of each core is used to determine the propagation probability of each variable disturbance to the core outputs. Furthermore, the SER and the execution time of each core in the SoC and a Failure Modes and Effects Analysis (FMEA) that determines the severity of each failure mode in the SoC are used to compute the System-Failure Rate (SFR) of the So

TLM 2.0 simple sockets synthesis to RTL

Convenience sockets are a family of derived sockets provided in utilities namespace of TLM 2.0 library which add additional functionalities to TLM 2.0 sockets. As one of the goals of high level modeling is to part communication from computation, synthesizing communication mechanisms including sockets can be a primary step to synthesize each TLM 2.0 design on RTL. Synthesizing sockets on RTL can provide the designer with the big picture of module's functionality and communication requirements. In this paper, algorithms are proposed to map TLM 2.0 simple sockets down to RTL focusing on TLM 2.0 blocking and non-blocking transport interfaces. The algorithms get TLM 2.0 sockets as an input and generate an intermediate description of sockets in terms of ports. After that, RTL descriptions of the ports are generated using the standard generic payload packet as transaction type. The automation caused by synthesis algorithms in this paper can reduce the simulation speed and the designer's effort

Mobilizing Crop Biodiversity

Over the past 70 years, the world has witnessed extraordinary growth in crop productivity, 1 enabled by a suite of technological advances, including higher yielding crop varieties, improved farm management, synthetic agrochemicals, and agricultural mechanization. While this “Green Revolution” intensified crop production, and is credited with reducing famine and malnutrition, its benefits were accompanied by several undesirable collateral effects (Pingali, 2012). These include a narrowing of agricultural biodiversity, stemming from increased monoculture and greater reliance on a smaller number of crops and crop varieties for the majority of our calories. This reduction in diversity has created vulnerabilities to pest and disease epidemics, climate variation, and ultimately to human health (Harlan, 1972). The value of crop diversity has long been recognized (Vavilov, 1992). A global system of genebanks (e.g.www.genebanks.org/genebanks/) was established in the 1970s to preserve the abundant genetic variation found in traditional “landrace” varieties of crops and in crop wild relatives (Harlan, 1972). While preserving crop variation is a critical first step, the time has come to make use of this variation to breed more resilient crops. The DivSeek International Network (https://divseekintl.org/) is a scientific, not-for profit organization that aims to accelerate such effort

An autologous dendritic cell vaccine polarizes a Th-1 response which is tumoricidal to patient-derived breast cancer cells.

Breast cancer remains one of the leading causes of cancer-associated death worldwide. Conventional treatment is associated with substantial toxicity and suboptimal efficacy. We, therefore, developed and evaluated the in vitro efficacy of an autologous dendritic cell (DC) vaccine to treat breast cancer. We recruited 12 female patients with stage 1, 2, or 3 breast cancer and matured their DCs with autologous tumour-specific lysate, a toll-like receptor (TLR)-3 and 7/8 agonist, and an interferon-containing cocktail. The efficacy of the vaccine was evaluated by its ability to elicit a cytotoxic T-lymphocyte response to autologous breast cancer cells in vitro. Matured DCs (≥ 60% upregulation of CD80, CD86, CD83, and CCR7) produced high levels of the Th1 effector cytokine, IL12-p70 (1.2 ng/ml; p < 0.0001), compared to DCs pulsed with tumour lysate, or matured with an interferon-containing cocktail alone. We further showed that matured DCs enhance antigen-specific CD8 + T-cell responses to HER-2 (4.5%; p < 0.005) and MUC-1 (19%; p < 0.05) tetramers. The mature DCs could elicit a robust and dose-dependent antigen-specific cytotoxic T-lymphocyte response (65%) which was tumoricidal to autologous breast cancer cells in vitro compared to T-lymphocytes that were primed with autologous lysate loaded-DCs (p < 0.005). Lastly, we showed that the mature DCs post-cryopreservation maintained high viability, maintained their mature phenotype, and remained free of endotoxins or mycoplasma. We have developed a DC vaccine that is cytotoxic to autologous breast cancer cells in vitro. The tools and technology generated here will now be applied to a phase I/IIa clinical trial